The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·1d
🔗Constraint Handling
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Harper Evolves
elijahpotter.dev·2d·
Discuss: Hacker News, Hacker News
📝Concrete Syntax
LangExtract + Knowledge Graph— Google’s New Library for NLP Tasks
dev.to·1d·
Discuss: DEV
📄Text Chunking
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·11h·
Discuss: Hacker News
🕸️Neo4j
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·21h·
Discuss: Hacker News
🔗Concatenative Programming
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·16h
🔗Tailscale
Don't feed me AI slop
seangoedecke.com·9h
📰RSS Archaeology
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·2h·
Discuss: Hacker News
🔄Burrows-Wheeler
Cohere unveils Command A Reasoning, a model for enterprise research and workflows
the-decoder.com·18h
🎙️Whisper
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·17h·
Discuss: Hacker News
⚡Proof Automation